OMon $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$\{$g$:AbMon$\mid$ Linorder($\mid$$g$$\mid$;$x$,$y$.$\uparrow$($x$ $\leq_{b}$ $y$))\}